Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox. (Arithmetic and algorithmic in exact linear algebra for the LinBox library)

Envelope classe virtuelle classe template héritage instanciation pointeur conforme branchement Fig. 2.2 – Structure de l’archétype des corps finis. La figure 2.2 décrit la structure d’une interface de données compilable. Cette structure se découpe en trois modules. Tout d’abord on peut distinguer au plus bas niveau les classes Abstract et Envelope. La classe Abstract définit l’interface abstraite, en proposant un modèle de fonction virtuelle pure pour toutes les fonctions du modèle de base. La classe Envelope permet de synchroniser l’ensemble des corps finis conformes au modèle de base avec l’interface 2.1. Archétype de données 33 abstraite. Plus précisément, cette classe permet d’intégrer de façon générique des fonctions d’allocations mémoire nécessaires à la manipulation d’objets abstraits. Cette classe est optionnelle si l’on utilise directement une implantation de corps finis qui dérive de l’interface abstraite et qui propose l’ensemble des fonctions d’allocations mémoire. La classe Archetype définit à la fois le modèle de base des corps finis et l’objet compilable intégrant l’interface abstraite. L’intégration de l’interface abstraite se fait au travers d’un pointeur de données. L’instanciation de ce pointeur par un objet dérivé de l’interface abstraite permet donc de fixer le polymorphisme dynamique de l’interface. L’utilisation de l’enveloppe pour instancier ce pointeur permet d’assurer le bon comportement des allocations mémoire pour toutes les implantations de corps finis. héritage pointeur class FieldAbstract {